Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
981	A linear type system for pi calculus joint work with Vasco T. Vasconcelos Marco Giunti ´ INRIA & LIX, Ecole Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 06:07:57 Software engineering Π-calculus Type system ALGOL 68 Linear type system Calculus System F Function Type theory Programming language theory Mathematics
982	Emergent Database Design: Liberating Database Development with Agile Practices Alan Harriman Caribou Lake Add to Reading List Source URL: www.agilelogic.com Language: English - Date: 2004-12-11 14:33:57 Database management systems Extreme programming Relational database management systems Database theory Database schema Data model Database refactoring Data Definition Language Database Data management Software development Computing
983	Thesis A Type-Preserving Compiler Infrastructure Christopher League Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 ß Java bytecode Programming language theory Type system Closure Software engineering German language Computing
984	Motivation Both human- and computer-generated programs sometimes contain data-flow anomalies. These anomalies result in the program being worse, in some sense, than it was intended to be. Data-flow analysis is useful in Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-02 06:00:00 Compiler optimizations Procedural programming languages Compiler construction Source code Data-flow analysis C Static single assignment form Dead code ALGOL 68 Software engineering Computing Programming language theory
985	Once, Weakly: Typelist Meta-Algorithms Typelist Meta-Algorithms The other day I was reading Andrei Alexandrescu’s clever implementation of an ad hoc Visitor that I had unaccountably overlooked when it first appeared. ( Add to Reading List Source URL: www.stevedewhurst.com Language: English - Date: 2015-01-04 09:38:52 Computer programming C programming language Cross-platform software Generic programming Type theory Typedef Enumerated type Struct Typename Software engineering C++ Computing
986	Hancock: A Language for Processing Very Large-Scale Data Dan Bonachea Kathleen Fisher Anne Rogers Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-11-10 21:04:09 Procedural programming languages Type theory Subroutines C++ C Type signature Type system Parameter Signature Software engineering Computer programming Computing
987	Profile-Guided Static Typing for Dynamic Scripting Languages Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:39 Type theory Data types Scripting languages Control flow Eval Dynamic programming language Type system Reflection Ruby Software engineering Computing Computer programming
988	CS 61B Reader #1 Assorted Materials on Java Paul N. Hilfinger University of California, Berkeley Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2008-01-28 16:05:03 Cross-platform software Data types Procedural programming languages Primitive types Type theory Programming language C Generic programming Pointer Software engineering Computing Computer programming
989	slide 1 gaius More Trees recall our previous treatment of trees resulted in an efficient but Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:47 Binary trees Data types B-tree Cons Functional programming Lisp programming language Binary search tree Splay tree Computer programming Computing Graph theory
990	Annual ReportKey Figures - Eurofins Scientific Group According to International Financial Reporting Standards (IFRS) Revenues in d Million Add to Reading List Source URL: www.eurofins.com Language: English - Date: 2012-10-02 10:11:36 Stock market Software engineering Prospectus Frankfurt Diff ALGOL 68 Computing Programming language theory Eurofins Scientific

UPDATE